<?hh

function hello() {
  print "Hello World";
}
